Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
121	Machine Learning Literature using Textual Features Andreas van Cranenburgh Huygens ING & Institute for Logic, Language and Computation ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Cognitive science Cognition Science Natural language processing Bigram Classical cryptography Literariness Literary theory Literature Computational linguistics Linguistics Prediction
122	Proceedings of the CADE-25 ATP System Competition CASC-25 Geo↵ Sutcli↵e University of Miami, USA Abstract Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2015-08-02 19:16:33 Automated theorem proving Software CADE ATP System Competition E theorem prover CASC Andrei Voronkov Mathematical logic
123	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
124	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
125	ABSTRACT Title of dissertation: HINGE-LOSS MARKOV RANDOM FIELDS AND PROBABILISTIC SOFT LOGIC: Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-10-08 14:59:19 Statistics Machine learning Probability Statistical models Graphical models Bayesian statistics Markov networks Statistical relational learning Probabilistic soft logic Markov random field Structured prediction Expectationmaximization algorithm
126	Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 15:43:30 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Model theory Philosophy Symbol
127	An Empirical Evaluation of LFG-DOP Rens Bod Informatics Research Institute, University of Leeds, Leeds LS2 9JT, & Institute for Logic, Language and Computation, University of Amsterdam Abstract Add to Reading List Source URL: www.nclt.dcu.ie Language: English - Date: 2006-07-24 06:56:07 Linguistics Language Grammar Computational linguistics Natural language parsing Data-oriented parsing Discourse analysis Syntax Parsing Branching Probability distribution Text corpus
128	ISSS59 Berlin, August 2-7, 2015 Wiener’s paradox – we can dissolve it together Abstract Dino Karabeg, Samuel Hahn, Frode Hegland, Leah MacVie, Fredrik Eive Refsli, Saša Rudan, Siniša Rudan Add to Reading List Source URL: www.knowledgefederation.net Language: English - Date: 2015-12-16 06:30:21 Cybernetics Systems science Systems theory Logic System Self-organization Knowledge Douglas Engelbart Paradox Science and technology
129	Practical Reflection in Nuprl Eli Barzilay Stuart Allen Robert Constable Add to Reading List Source URL: barzilay.org Language: English - Date: 2003-03-26 22:21:47 Software engineering Programming language theory Declarative programming Automated theorem proving Logic programming Type theory Lambda calculus Formal methods Higher-order abstract syntax Nuprl Lisp Substitution
130	M. Eddon Quantitative Properties Philosophy Compass, forthcoming Abstract: Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematics Mathematical logic Logic Ontology Abstraction Predicate logic Binary relation Mass Quantity Ratio Equality Isomorphism

UPDATE